Optimal. Leaf size=158 \[ \frac {f \text {sech}^2(c+d x)}{6 a d^2}-\frac {i f \tan ^{-1}(\sinh (c+d x))}{6 a d^2}-\frac {2 f \log (\cosh (c+d x))}{3 a d^2}-\frac {i f \tanh (c+d x) \text {sech}(c+d x)}{6 a d^2}+\frac {2 (e+f x) \tanh (c+d x)}{3 a d}+\frac {i (e+f x) \text {sech}^3(c+d x)}{3 a d}+\frac {(e+f x) \tanh (c+d x) \text {sech}^2(c+d x)}{3 a d} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.16, antiderivative size = 158, normalized size of antiderivative = 1.00, number of steps used = 7, number of rules used = 7, integrand size = 29, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.241, Rules used = {5571, 4185, 4184, 3475, 5451, 3768, 3770} \[ \frac {f \text {sech}^2(c+d x)}{6 a d^2}-\frac {i f \tan ^{-1}(\sinh (c+d x))}{6 a d^2}-\frac {2 f \log (\cosh (c+d x))}{3 a d^2}-\frac {i f \tanh (c+d x) \text {sech}(c+d x)}{6 a d^2}+\frac {2 (e+f x) \tanh (c+d x)}{3 a d}+\frac {i (e+f x) \text {sech}^3(c+d x)}{3 a d}+\frac {(e+f x) \tanh (c+d x) \text {sech}^2(c+d x)}{3 a d} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3475
Rule 3768
Rule 3770
Rule 4184
Rule 4185
Rule 5451
Rule 5571
Rubi steps
\begin {align*} \int \frac {(e+f x) \text {sech}^2(c+d x)}{a+i a \sinh (c+d x)} \, dx &=-\frac {i \int (e+f x) \text {sech}^3(c+d x) \tanh (c+d x) \, dx}{a}+\frac {\int (e+f x) \text {sech}^4(c+d x) \, dx}{a}\\ &=\frac {f \text {sech}^2(c+d x)}{6 a d^2}+\frac {i (e+f x) \text {sech}^3(c+d x)}{3 a d}+\frac {(e+f x) \text {sech}^2(c+d x) \tanh (c+d x)}{3 a d}+\frac {2 \int (e+f x) \text {sech}^2(c+d x) \, dx}{3 a}-\frac {(i f) \int \text {sech}^3(c+d x) \, dx}{3 a d}\\ &=\frac {f \text {sech}^2(c+d x)}{6 a d^2}+\frac {i (e+f x) \text {sech}^3(c+d x)}{3 a d}+\frac {2 (e+f x) \tanh (c+d x)}{3 a d}-\frac {i f \text {sech}(c+d x) \tanh (c+d x)}{6 a d^2}+\frac {(e+f x) \text {sech}^2(c+d x) \tanh (c+d x)}{3 a d}-\frac {(i f) \int \text {sech}(c+d x) \, dx}{6 a d}-\frac {(2 f) \int \tanh (c+d x) \, dx}{3 a d}\\ &=-\frac {i f \tan ^{-1}(\sinh (c+d x))}{6 a d^2}-\frac {2 f \log (\cosh (c+d x))}{3 a d^2}+\frac {f \text {sech}^2(c+d x)}{6 a d^2}+\frac {i (e+f x) \text {sech}^3(c+d x)}{3 a d}+\frac {2 (e+f x) \tanh (c+d x)}{3 a d}-\frac {i f \text {sech}(c+d x) \tanh (c+d x)}{6 a d^2}+\frac {(e+f x) \text {sech}^2(c+d x) \tanh (c+d x)}{3 a d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 1.12, size = 194, normalized size = 1.23 \[ \frac {2 d (e+f x) (\cosh (2 (c+d x))-2 i \sinh (c+d x))+\cosh (c+d x) \left (-i \sinh (c+d x) \left (2 f \tan ^{-1}\left (\tanh \left (\frac {1}{2} (c+d x)\right )\right )-4 i f \log (\cosh (c+d x))-c f+d e\right )-2 f \tan ^{-1}\left (\tanh \left (\frac {1}{2} (c+d x)\right )\right )+4 i f \log (\cosh (c+d x))+c f-d e-i f\right )}{6 a d^2 (\sinh (c+d x)-i) \left (\cosh \left (\frac {1}{2} (c+d x)\right )-i \sinh \left (\frac {1}{2} (c+d x)\right )\right ) \left (\cosh \left (\frac {1}{2} (c+d x)\right )+i \sinh \left (\frac {1}{2} (c+d x)\right )\right )} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.49, size = 201, normalized size = 1.27 \[ \frac {8 \, d f x e^{\left (4 \, d x + 4 \, c\right )} + 8 \, d e + {\left (-16 i \, d f x - 2 i \, f\right )} e^{\left (3 \, d x + 3 \, c\right )} + {\left (16 i \, d e - 2 i \, f\right )} e^{\left (d x + c\right )} - {\left (3 \, f e^{\left (4 \, d x + 4 \, c\right )} - 6 i \, f e^{\left (3 \, d x + 3 \, c\right )} - 6 i \, f e^{\left (d x + c\right )} - 3 \, f\right )} \log \left (e^{\left (d x + c\right )} + i\right ) - {\left (5 \, f e^{\left (4 \, d x + 4 \, c\right )} - 10 i \, f e^{\left (3 \, d x + 3 \, c\right )} - 10 i \, f e^{\left (d x + c\right )} - 5 \, f\right )} \log \left (e^{\left (d x + c\right )} - i\right )}{6 \, a d^{2} e^{\left (4 \, d x + 4 \, c\right )} - 12 i \, a d^{2} e^{\left (3 \, d x + 3 \, c\right )} - 12 i \, a d^{2} e^{\left (d x + c\right )} - 6 \, a d^{2}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.27, size = 261, normalized size = 1.65 \[ \frac {8 \, d f x e^{\left (4 \, d x + 4 \, c\right )} - 16 i \, d f x e^{\left (3 \, d x + 3 \, c\right )} - 3 \, f e^{\left (4 \, d x + 4 \, c\right )} \log \left (e^{\left (d x + c\right )} + i\right ) + 6 i \, f e^{\left (3 \, d x + 3 \, c\right )} \log \left (e^{\left (d x + c\right )} + i\right ) + 6 i \, f e^{\left (d x + c\right )} \log \left (e^{\left (d x + c\right )} + i\right ) - 5 \, f e^{\left (4 \, d x + 4 \, c\right )} \log \left (e^{\left (d x + c\right )} - i\right ) + 10 i \, f e^{\left (3 \, d x + 3 \, c\right )} \log \left (e^{\left (d x + c\right )} - i\right ) + 10 i \, f e^{\left (d x + c\right )} \log \left (e^{\left (d x + c\right )} - i\right ) + 8 \, d e - 2 i \, f e^{\left (3 \, d x + 3 \, c\right )} + 16 i \, d e^{\left (d x + c + 1\right )} - 2 i \, f e^{\left (d x + c\right )} + 3 \, f \log \left (e^{\left (d x + c\right )} + i\right ) + 5 \, f \log \left (e^{\left (d x + c\right )} - i\right )}{6 \, a d^{2} e^{\left (4 \, d x + 4 \, c\right )} - 12 i \, a d^{2} e^{\left (3 \, d x + 3 \, c\right )} - 12 i \, a d^{2} e^{\left (d x + c\right )} - 6 \, a d^{2}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.27, size = 143, normalized size = 0.91 \[ \frac {4 f x}{3 a d}+\frac {4 f c}{3 a \,d^{2}}-\frac {i \left (-8 d f x \,{\mathrm e}^{d x +c}+f \,{\mathrm e}^{3 d x +3 c}-8 d e \,{\mathrm e}^{d x +c}+f \,{\mathrm e}^{d x +c}+4 i d f x +4 i d e \right )}{3 \left ({\mathrm e}^{d x +c}+i\right ) \left ({\mathrm e}^{d x +c}-i\right )^{3} d^{2} a}-\frac {f \ln \left ({\mathrm e}^{d x +c}+i\right )}{2 a \,d^{2}}-\frac {5 f \ln \left ({\mathrm e}^{d x +c}-i\right )}{6 a \,d^{2}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.39, size = 251, normalized size = 1.59 \[ \frac {1}{6} \, f {\left (\frac {24 \, {\left (4 i \, d x e^{\left (4 \, d x + 4 \, c\right )} + {\left (8 \, d x e^{\left (3 \, c\right )} + e^{\left (3 \, c\right )}\right )} e^{\left (3 \, d x\right )} + e^{\left (d x + c\right )}\right )}}{12 i \, a d^{2} e^{\left (4 \, d x + 4 \, c\right )} + 24 \, a d^{2} e^{\left (3 \, d x + 3 \, c\right )} + 24 \, a d^{2} e^{\left (d x + c\right )} - 12 i \, a d^{2}} - \frac {3 \, \log \left ({\left (e^{\left (d x + c\right )} + i\right )} e^{\left (-c\right )}\right )}{a d^{2}} - \frac {5 \, \log \left (-i \, {\left (i \, e^{\left (d x + c\right )} + 1\right )} e^{\left (-c\right )}\right )}{a d^{2}}\right )} + 4 \, e {\left (\frac {2 \, e^{\left (-d x - c\right )}}{{\left (6 \, a e^{\left (-d x - c\right )} + 6 \, a e^{\left (-3 \, d x - 3 \, c\right )} - 3 i \, a e^{\left (-4 \, d x - 4 \, c\right )} + 3 i \, a\right )} d} + \frac {i}{{\left (6 \, a e^{\left (-d x - c\right )} + 6 \, a e^{\left (-3 \, d x - 3 \, c\right )} - 3 i \, a e^{\left (-4 \, d x - 4 \, c\right )} + 3 i \, a\right )} d}\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 2.48, size = 205, normalized size = 1.30 \[ \frac {4\,f\,x}{3\,a\,d}-\frac {f+3\,d\,e+3\,d\,f\,x}{3\,a\,d^2\,\left (1-{\mathrm {e}}^{2\,c+2\,d\,x}+{\mathrm {e}}^{c+d\,x}\,2{}\mathrm {i}\right )}-\frac {5\,f\,\ln \left (f+f\,{\mathrm {e}}^{c+d\,x}\,1{}\mathrm {i}\right )}{6\,a\,d^2}-\frac {\left (e+f\,x\right )\,2{}\mathrm {i}}{3\,a\,d\,\left (3\,{\mathrm {e}}^{c+d\,x}+{\mathrm {e}}^{2\,c+2\,d\,x}\,3{}\mathrm {i}-{\mathrm {e}}^{3\,c+3\,d\,x}-\mathrm {i}\right )}-\frac {\left (e+f\,x\right )\,1{}\mathrm {i}}{2\,a\,d\,\left ({\mathrm {e}}^{c+d\,x}+1{}\mathrm {i}\right )}-\frac {f\,\ln \left (-1+{\mathrm {e}}^{c+d\,x}\,1{}\mathrm {i}\right )}{2\,a\,d^2}+\frac {\left (3\,d\,e-2\,f+3\,d\,f\,x\right )\,1{}\mathrm {i}}{6\,a\,d^2\,\left ({\mathrm {e}}^{c+d\,x}-\mathrm {i}\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ - \frac {i \left (\int \frac {e \operatorname {sech}^{2}{\left (c + d x \right )}}{\sinh {\left (c + d x \right )} - i}\, dx + \int \frac {f x \operatorname {sech}^{2}{\left (c + d x \right )}}{\sinh {\left (c + d x \right )} - i}\, dx\right )}{a} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________